241. Foundations and applications of security analysis
پدیدآورنده: / Pierpaolo Degano, Luca Vigan?o (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer security--Congresses,Formal methods (Computer science)--Congresses,Cryptography--Congresses
رده :
QA
,
76
.
9
,.
A25
,
J65
,
2009
242. Foundations of security, protocols, and equational reasoning :
پدیدآورنده: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.
رده :
QA76
.
9
.
A25
243. Fundamentals of artificial intelligence research :
پدیدآورنده: Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
244. Fundamentals of computation theory :
پدیدآورنده: Olaf Owe, Martin Steffen, Jan Arne Telle (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses
رده :
QA75
.
5
245. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده: Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
246. Includes bibliographical references and index. 0
پدیدآورنده: Seán Duffy, editor ; associate editors, Ailbhe MacShamhráin, James Moynes.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
247. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده: Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
248. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده: Andrew Green.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
249. Includes index. 0
پدیدآورنده: Bruce Mazlish.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
250. Information systems and neuroscience :
پدیدآورنده: editors: Fred D. Davis, René Riedl, Jan vom Brocke, Pierre-Majorique Léger, Adriane B. Randolph.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Human-computer interaction, Congresses.,Information technology, Congresses.,Neurosciences.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human-computer interaction.,Information technology.,Neurosciences.
رده :
T58
.
5
.
I53
2019
251. Innovative security solutions for information technology and communications :
پدیدآورنده: Jean-Louis Lanet, Cristian Toma (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Information technology-- Security measures, Congresses.,Computer networks-- Security measures.,Computer security.,Information technology-- Security measures.
رده :
QA76
.
9
.
A25
252. Integrated Formal Methods :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal methods (Computer science) ; Congresses. ;
253. Integrated Formal Methods :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal methods (Computer science) ; Congresses. ;
254. Integrated Formal Methods
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,System design -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,طراحی سیستم -- کنگره‌ها
رده :
E-Book
,
255. Integrated formal methods
پدیدآورنده: John Derrick ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2012eb
256. Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
پدیدآورنده: Michael Butler, Luigia Petre, Kaisa Sere, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2335
257. Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
پدیدآورنده: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1945
258. Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
پدیدآورنده: Eerke A. Boiten, John Derrick, Graeme Smith )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2999
259. Intelligent computing :
پدیدآورنده: Kohei Arai, Supriya Kapoor, Rahul Bhatia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Neural networks (Computer science), Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Neural networks (Computer science)
رده :
Q342
